基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

水上桩基试验与成果分析

结合某大型港口项目的工程实例,利用静载试验、动载试验、应变测试的原理和方法,根据现场的地质条件,在试桩桩身的相应位置安装电阻应变片,沉桩过程中进行动载初打试验,经过一定的休止时间,再进行动载复打试验;然后搭设水上试验工作平台,进行静载试验,并同时进行应变测试.三种试验手段综合应用,互为补充,为确定主码头桩长和调整桩尖结构型武提供了科学依据,并解决了密实粉土层的沉桩可行性问题.试验成果弥补了该区域试桩资料的空白,为进一步开展桩-土相互作用的研究提供了可以借鉴的参数.     

多通道并行访问模式下的闪存静态损耗均衡设计

静态损耗均衡算法决定了固态闪存存储系统的使用寿命。为了提高多通道并行访问模式下的闪存系统寿命,提出了一种主动搬移静态数据的静态损耗均衡设计。该设计在多通道并行访问模式下,根据擦除标志位,采用轮询法主动挑选静态数据块并加入待擦除块队列,从而减小各物理块之间的损耗不均衡程度。实验结果表明:该设计能提高平均擦除次数至少8.33%,有效降低并行访问模式下的损耗不均衡程度至少5.39%。该文还对影响损耗均衡程度的触发阈值进行了分析,提出了在选择触发阈值时,需要综合考虑损耗均衡情况和系统速度。     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

Examination of dynamic recrystallization during compression of AZ31 magnesium

This study aimed to investigate dynamic recrystallization(DRX)behavior during compression of magnesium alloy AZ31. Cylinder samples were cut from the extruded rod and hot rolled sheet AZ31 for compression test.The samples were compressed using a Gleeble 1500D at a temperature of 300℃and a strain rate of 0.01 s-1.Grain orientations and misorientation angles across grain boundaries for the tested samples were obtained by using electron backscatter diffraction(EBSD)technique.The results showed that strong basal texture was observed after 50%compression(ε=0.69)on both the extruded and hot rolled samples,which have different initial textures.It was observed that with increased strain,DRX grains gradually rotated to basal orientation,and grain boundaries with misorientation angle of near 30°was formed in the samples.At the strain of 0.69,a high fraction of high-angle(60°)boundaries was present in the extruded sample,whereas almost no high angle boundaries were observed in the hot rolled sheet sample.     

关于三重零特征根的梁系统的平衡解分析

针对第一阶模态主参激共振条件下的大范围直线运动梁系统,利用稳定性分析、中心流形定理和规范型理论等解析方法,给出了梁系统的初始平衡解和静态分岔解及其稳定性情况.     

商用车驱动桥壳的疲劳分析

运用CATIA建立某型商用车驱动桥壳的实体模型，利用Hypermesh划分网格，参照标准QC—T533规定的台架试验方法，对桥壳进行弯曲刚度、垂直静强度有限元仿真计算。通过量化分析应力集中、尺寸及表面加工情况等疲劳影响因素，引入疲劳寿命仿真分析。依据QC．T534规定的评价方法，桥壳上述指标均符合国家标准，仿真结果与试验结果一致。同时指出桥壳存在问题，为下一步优化指明方向。     

汽车起重机驱动桥桥壳静态与模态分析

文章通过三维设计软件Pro/E对汽车起重机驱动桥桥壳进行三维建模,并将该三维模型与有限元分析软件Ansys无缝连接。对桥壳进行了静态分析和模态分析。其计算结果可为汽车起重机驱动桥桥壳的结构设计,优化和轻量化提供理论依据,具有较强的实际工程意义。     

带电绝缘体静电放电引燃性新型实验

提出了一种新的实验技术评估绝缘体在接触分离过程中静电放电的点燃特性.首先,把不同数量的电荷荷电到材料的表面,通过实验校核所加电荷量是否足以使火花点燃实验探极发生点燃.其次,确定聚酰亚胺介质薄膜通过摩擦起电能否获得必需的表面电荷以引起点燃性刷形放电.通过把JCI场强计固定在实验介质薄膜背面10 mm处,测量该薄膜摩擦起电之前、起电期间、起电之后的表面电位,然后在充满易燃混合气体环境中观测其是否被点燃.     

节段式多级离心泵比转数的选择

本文从节段式多级离心泵的比转数、级数和效率关系入手,以目前水泵制造业工艺水平所能达到的精度为依据,在对现有节段式多级离心泵的结构特点进行统计和分析的基础上,指出了比转数与泵转子动力特性之间的内在联系。即通过泵的结构参数、力学特性和性能参数之间的联系,建立了相互间的函数式。并给出了节段式多级离心泵的合理范围,比转数n,等于60～100,级数i不超过6级。文中还进行了实例分析,证明用本文提出的方法可以达到在结构设计之前合理确定比转数的目的。